Formal Methods for Automotive Platform Analysis and Optimization∗
نویسندگان
چکیده
There have been major advances in formal methods and related tools in embedded system design in recent years that support analysis and optimization of heterogeneous automotive architectures. We give an introduction of the tool SymTA/S and demonstrate its application to an automotive example where we analyze system sensitivity and explore the design space. Such results cannot be obtained by simulation or prototyping.
منابع مشابه
Automotive System Optimization using Sensitivity Analysis
There have been major advances in formal methods and related tools in embedded system design in recent years that support analysis and optimization of heterogeneous automotive architectures. We demonstrate the application of the SymTA/S methodology to an automotive example where we analyze the sensitivity of different system properties and determine optimal system configurations. The use of thi...
متن کاملCooperative Control of Mobile Robots in Creating a Runway Platform for Quadrotor Landing
Multi-agent systems are systems in which several agents accomplish a mission in a cooperative manner. In this paper, a novel idea for the construction of a movable runway platform based on multi-agent systems is presented. It is assumed that an aerial agent (quadrotor) decides to make an emergency landing due to reasons such as a decrease in energy level or technical failure, while there is no ...
متن کاملA new model for Physical flow optimization in the global automotive value chain (Case study: SIBA MOTOR Company)
Taking into account the economic capabilities, competitive advantages and environment dynamics, this research presents a new physical flow optimization model by considering payment period, time value of money and exchange rate fluctuations. Considering the actual circumstances of the current case study in the global value chain, a single-objective non-linear mathematical model is presented for ...
متن کاملAUTOMOTIVE INTERIOR CABIN NOISE ANALYSIS AND OPTIMIZATION USING SEA AND RSM
In this paper, the acoustic analysis of noise has been done in automotive cabin at high speed. High-frequency noise sources are applied separately to the roof and floor panels as well as to the windshield of the vehicle, which has been investigated at both the driver's and rear passenger's head. The most important panels that have the most noise emission are specified. In order to analyze high ...
متن کاملProduct Family and Platform Portfolio Optimization
In this paper, a methodology is presented to determine the optimum number of product platforms to maximize overall product family profit with simplifying assumptions. This methodology is attempting to aid various manufacturing industries who are seeking ways to reduce product family manufacturing costs and development times through implementation of platform strategies. The methodology is based...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006